한국정보통신학회 논문지 (Journal of the Korea Institute of Information and Communication Engineering)
Current Result Document :
| 한글제목(Korean Title) |
개선된 자동정리증명기법에 기초한 유한체상의 디지털논리시스템 구성 |
| 영문제목(English Title) |
Construction of the Digital logic Systems based on the Improved Automatic Theorem Proving Techniques over Finite Fields |
| 저자(Author) |
박춘명
Chun-Myoung Park
|
| 원문수록처(Citation) |
VOL 10 NO. 10 PP. 1773 ~ 1778 (2006. 10) |
한글내용
(Korean Abstract) |
본 논문에서는 개선된 자동정리증명기법에 기초하여 유한체상의 디지털논리시스템을 구성하는 방법을 제안하였다. 제안한 방법을 먼저 유한체상의 중요한 수학정 성질을 논의하였고 자동정리증명기법의 개념과 기본 성질을 서술하였다. 그리고 개선된 자동정리증명기법을 적용하기 위해 몇가지 정의를 하였으며 이를 근간으로 디지털 논리시스템의 Building Block을 제안하였다. 또한, 디지털 논리시스템을 구성하기 위한 중요한 관계를 정의하였으며 최종 유한체상의 디지털논리시스템을 개선된 자동정리증명기법에 의해 구성하였다. |
영문내용
(English Abstract) |
This paper propose the method of constructing the Digital Logic Systems based on the Improved Automatic Theorem Proving Techniques(IATP) over Finite Fields. The proposed method is as following. First, we discuss the background and the important mathematical propertied for Finite Fields. Also, we discuss the concepts of the Automatic Theorem Proving Techniques(ATP) including the syntactic method and semantic method, and discuss the basic properties for the ATP, In this step, we define several definitions of the IATP, Table Pseudo Function Tab and Equal. Next, we propose the T-gate as Building Block(BB) and describe the mathematical representation for the notation of T-gate. Then we discuss the important properties for the T-gate. Also, we propose the several relationships that are Identity relationship, Constant relationship, Tautology relationship and Mod R cyclic relationship. Then we propose Mod R negation gate and the manipulation of the don't are conditions. Finally, we propose the algorithm for the constructing the method of the digital logic systems over finite fields. The proposed method is more efficiency and regularity than any other earlier methods. Then, we prospect the futere research and prospects. |
| 키워드(Keyword) |
Finite Fields
Automatic Theorem Proving Techniques
Digital Logic Systems
Building Block etc.
|
| 파일첨부 |
PDF 다운로드
|
